ATG Interviews Vitek Tracz

Hepatotoxicity induced by horse ATG and reversed by rabbit ATG: a case report

BACKGROUND The use of antilymphocyte agents has improved patient and graft survival in hematopoietic stem cell and solid organ transplantation but has been associated with the development of short-term toxicities as well as long-term complications. CASE PRESENTATION We report a young female with Fanconi anemia who received antithymocyte globulin as part of the conditioning regimen prior to he...

Vitek Homework 9 - Solution

Towards an open science publishing platform [version 1; referees: 2 approved]

The way science and research is done is rapidly becoming more open and collaborative. The traditional way of publishing new findings in journals is becoming increasingly outdated and no longer serves the needs of much of science. Whilst preprints can bring significant benefits of removing delay and selection, they do not go far enough if simply implemented alongside the existing journal system....

Evolution of the Vitek Ms

VITEK® MS* consists of a MALDI-TOF mass spectrometer for microbial identification and a database recognizing unique fingerprints. Mycobacterial species require inactivation and protein extraction due to their pathogenicity and lipid rich cell wall. The study describes a sample preparation method using mechanical disruption and chemical treatment tested f rom multiple growth media for spectral d...

The Temporal Rover and the ATG Rover

The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time Temporal Logic (LTL) and Metric Temporal Logic (MTL), with conventional simulation/execution based testing. The Temporal Rover is tailored for the verification of complex protocols and reactive systems where behavior ...